منابع مشابه
Mapping SVA to PSL
Note that local variables and first match are not in the domain of the mapping. Throughout, “unclocked SVA sequence” means “unclocked SVA sequence without local variables or first match”. Similarly, “clocked SVA sequence” means “clocked SVA sequence without local variables or first match”. In the following abstract grammars, b denotes a boolean expression, v denotes a local variable name, and e...
متن کاملCross-Protective Capacity of Japanese Encephalitis (JE) Vaccines Against Circulating Heterologous JE Virus Genotypes
Current Japanese encephalitis vaccines are derived from strains of genotype III, yet heterologous genotypes are emerging in endemic areas. Inactivated vaccines given to European travelers were found to elicit protective levels of neutralizing antibodies against heterologous strains of genotypes I-IV.
متن کاملFrom Löwenheim to PSL and SVA
One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Century industrial-standard property-specification languages. This development was enabled by the equally unlikely transformation of the mathematical machinery of automata on infinite words, introduced in the early 1960s fo...
متن کاملSVA elements: a hominid-specific retroposon family.
SVA is a composite repetitive element named after its main components, SINE, VNTR and Alu. We have identified 2762 SVA elements from the human genome draft sequence. Genomic distribution analysis indicates that the SVA elements are enriched in G+C-rich regions but have no preferences for inter- or intragenic regions. A phylogenetic analysis of the elements resulted in the recovery of six subfam...
متن کاملSVA retrotransposons as modulators of gene expression
Endogenous mobile genetic elements can give rise to de novo germline or somatic mutations that can have dramatic consequences for genome regulation both local and possibly more globally based on the site of integration. However if we consider them as "normal genetic" components of the reference genome then they are likely to modify local chromatin structure which would have an effect on gene re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: [sic] - a journal of literature, culture and literary translation
سال: 2017
ISSN: 1847-7755
DOI: 10.15291/sic/2.7.lt.3